//// [verifyDefaultLib_dom.ts]

var x: HTMLElement;

//// [verifyDefaultLib_dom.js]
var x;
